Dynamic logic - PDFSEARCH.IO - Document Search Engine

Dynamic logic
Results: 262

#	Item
161	Implementation of Dynamic Algebra in Epsilonwriter Jean-François Nicaud, Christophe Viudez Aristod, 217 rue de Paris, 91120 Palaiseau, France [removed] – [removed] http://www.epsilonwriter. Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-09 06:07:32 Elementary algebra Equations Quadratic equation Algebra Fraction Slide rule Rewriting Mathematics Mathematical logic Formal languages
162	High Speed Serial Link Simulation based on Dynamic Modeling Xiaoqing Dong, Paul Yan, and Moore Mo Huawei Technologies Wenyi Jin and Geoff Zhang Xilinx Inc. Add to Reading List Source URL: www.xilinx.com Language: English - Date: 2014-02-07 14:28:45 Operations research Simulation Logic simulation
163	DesignCon[removed]High Speed Serial Link Simulation based on Dynamic Modeling Xiaoqing Dong, Huawei Technologies Add to Reading List Source URL: www.xilinx.com Language: English - Date: 2014-02-07 14:28:45 Operations research Simulation software Simulation Signal integrity Logic simulation Scientific modelling Dynamic simulation Electronic engineering Electronic design automation Digital electronics
164	Next-generation Key CMOS Technologies 40nm Node CMOS Platform “UX8” FUKAI Toshinori, IKEDA Masahiro, TAKAHASHI Toshifumi, NATSUME Hidetaka Abstract The UX8 is the latest process from NEC Electronics. It uses the mos Add to Reading List Source URL: www.nec.com Language: English - Date: 2012-09-11 09:28:34 Computer hardware CMOS Transistor Dynamic random-access memory Random-access memory Renesas Electronics High-k dielectric Depletion-load NMOS logic 1T-SRAM Computer memory Electronic engineering Electronics
165	Character Participation in Social Interaction Add to Reading List Source URL: robert.zubek.net Language: English - Date: 2007-04-21 19:39:49 Stochastic control Markov models Communication Partially observable Markov decision process Markov chain Markov decision process Stochastic process Finite-state machine Probabilistic logic Statistics Markov processes Dynamic programming
166	Differential Dynamic Logic for Verifying Parametric Hybrid Systems? Andr´e Platzer University of Oldenburg, Department of Computing Science, Germany Carnegie Mellon University, Computer Science Department, Pittsburgh, P Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:08:59 Model theory Predicate logic Logical truth Formal languages Symbol First-order logic Substitution Interpretation KeY Logic Mathematical logic Propositional calculus
167	Dyna: A Non-Probabilistic Programming Language for Probabilistic AI Jason Eisner Department of Computer Science Johns Hopkins University Add to Reading List Source URL: www.cs.jhu.edu Language: English - Date: 2008-11-21 03:23:33 Theoretical computer science Formal languages Graphical models Algorithm Mathematical logic Parsing Dynamic programming Programming language Semiring Mathematics Applied mathematics Science
168	EuJAP \| VOL. 7 \| No. 2 \| 2011 ORIGINAL SCIENTIFIC PAPER UDK: [removed]ACTS OF REQUESTING IN DYNAMIC LOGIC OF Add to Reading List Source URL: www.ffri.hr Language: English - Date: 2014-07-09 05:48:26 Deontic logic Epistemic modal logic Modal operator Linguistic modality F Accessibility relation Modal logic Logic Mathematics
169	Dynamic Epistemic Logic Hans van Ditmarsch, LORIA, CNRS – Universit´e de Lorraine Wiebe van der Hoek, Computer Science, The University of Liverpool Barteld Kooi, Faculty of Philosophy, University of Groningen 1 Add to Reading List Source URL: www.iep.utm.edu Language: English - Date: 2013-09-29 12:02:23 Philosophical logic Non-classical logic Artificial intelligence Epistemic modal logic Common knowledge Belief revision Kripke semantics Doxastic logic Logic Mathematical logic Modal logic
170	Input connection The system offers solutions for both single and two-channel safety devices. In order to monitor wiring short-circuits it is possible to use up to three different dynamic signals and static voltage (+24 Add to Reading List Source URL: www.jokabsafetyna.com Language: English - Date: 2013-07-18 15:58:26 Technology Information Electronic engineering Programmable logic controller Multiplexer Channel Information theory Audio engineering

UPDATE